Counterfactuals and Undefinedness: Homogeneity vs. Supervaluations

نویسندگان

چکیده

Theories of counterfactuals agree on appealing to a relation comparative similarity, but disagree the quantificational force counterfactuals. We report two experiments testing predictions three main approaches: universal theories, homogeneity and single-world selection theories (plus supervaluations over functions). The critical cases in our experiment were constructed so as discriminate between theories. Our results provide empirical support for selectional while challenging other approaches.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Supervaluations Debugged

We must begin by stating an erroneous view. Modality may be supposed to affect the assertion in its formal character, and without regard to that which is asserted. We may take for instance a content S – P, not yet asserted, and may claim for modality the power of affirming this content S – P, unaltered and unqualified, in several ways. S – P, it is supposed, may be asserted, for instance, eithe...

متن کامل

Łukasiewicz , supervaluations , and the future

In this paper I consider an interpretation of future contingents which motivates a unification of a Łukasiewicz-style logic with the more classical supervaluational semantics. This in turn motivates a new non-classical logic modelling what is “made true by history up until now.” I give a simple Hilbertstyle proof theory, and a soundness and completeness argument for the proof theory with respec...

متن کامل

/ Lukasiewicz, Supervaluations, And The Future

In this paper I consider an interpretation of future contingents which motivates a uniication of a Lukiasiewicz-style logic, and the more classical, supervaluational semantics. This in turn motivates a new non-classical logic modelling what is \made true by history up until now". I give a simple Hilbert-style proof theory, and a soundness and completeness argument for the proof theory with resp...

متن کامل

Counterfactuals

Counterfactuals arc a form of commonsense non-monotonic inference that has been of long-term interest to philosophers. In this paper, we begin by describing some of the impact counterfactuals can be exported to have in artif icial intelligence, and by reviewing briefly some of the philosophical conclusions which have been drawn about them. Philosophers have noted that the content of any particu...

متن کامل

OCL2FOL+: Coping with Undefinedness

At present, the OCL language includes two constants, null and invalid, to represent undefinedness. This effectively turns OCL into a four-valued logic. It makes also problematic its mapping to first-order logic and, as a consequence, hinders the use of first-order automated-reasoning tools for OCL reasoning. We address this problem and propose a solution, grounded on the same principles underly...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Semantics and Linguistic Theory

سال: 2021

ISSN: ['2163-5943', '2163-5951']

DOI: https://doi.org/10.3765/salt.v30i0.4842